Constraint satisfaction - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction
Results: 487

#	Item
51	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
52	Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach Angelo Oddi1 , Riccardo Rasconi1 , Amedeo Cesta1 , and Stephen F. Smith2 1 Institute of Cognitive Scienc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-30 21:51:52 Operations research Edsger W. Dijkstra Constraint satisfaction Mathematical optimization Scheduling Heuristic Shortest path problem Local search
53	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
54	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
55	KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Constraint programming Abstract interpretation Symbolic execution Constraint satisfaction problem Paul Klee
56	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:34 Constraint programming Inductive reasoning Reasoning Artificial intelligence Case-based reasoning Critical thinking Constraint satisfaction problem Reasoning system Constraint satisfaction Mathematical optimization Intelligent decision support system Search algorithm
57	Fundamenta Informaticaei-ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2011-04-09 08:00:52 Constraint programming Constraint satisfaction Solver Local search
58	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Software testing Reference Constraint satisfaction problem Const Parameter Concolic testing Constraint logic programming
59	Top-k Querying of Unknown Values under Order Constraints Antoine Amarilli1 , Yael Amsterdamer2 , Tova Milo2 , and Pierre Senellart1,3 1 2 Add to Reading List Source URL: pierre.senellart.com Language: English - Date: 2016-03-28 12:02:17 Constraint programming Probability distributions Operations research Mathematical optimization Expected value Beta distribution Interpolation Lagrange multiplier Constraint satisfaction
60	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation